g(implements,x)=c
c
